Entrez un mot ou une phrase dans n'importe quelle langue 👆
Langue:
Traduction et analyse de mots par intelligence artificielle ChatGPT
Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:
- comment le mot est utilisé
- fréquence d'utilisation
- il est utilisé plus souvent dans le discours oral ou écrit
- options de traduction de mots
- exemples d'utilisation (plusieurs phrases avec traduction)
- étymologie
quantifier-free formula - traduction vers russe
FINITE SEQUENCE OF SYMBOLS FROM A GIVEN ALPHABET THAT IS PART OF A FORMAL LANGUAGE
Well formed formula; Well-formed formulas; Formula (mathematical logic); Well formed formulae; Well-formed formulae; Subformula; Layman Allen; Quantifier-free formula; Formula (logic); Logical expression; Logical formula; Formula (logics)
quantifier-free formula
математика
бескванторная формула
logical formula
математика
логическая формула
well-formed formula
математика
правильно построенная формула
Définition
Фоб
I
(от греч. phóbos - страх, боязнь)
часть сложных слов, означающая боящийся, враждебный, ненавидящий, например женофоб.
II
(англ. fob, сокр. от free on board - Франко борт, буквально - свободно на борту судна)
вид купли-продажи (См. Купля-продажа) товаров при морской перевозке. Условия Ф. означают, что продавец обязан доставить товар в порт и погрузить на указанное покупателем судно; расходы по доставке товара на борт судна включаются в стоимость товара. В некоторых портах при поставках на условиях Ф. расходы по погрузке несёт покупатель. Риск случайной гибели имущества или его повреждения возлагается на продавца - до момента пересечения товаром борта судна, и на покупателя - с указанного момента. По Общим условиям СЭВ (См. Общие условия СЭВ) право собственности на товар переходит от продавца к покупателю одновременно с переходом риска. См. также Фас.
Wikipédia
Well-formed formula
In mathematical logic, propositional logic and predicate logic, a well-formed formula, abbreviated WFF or wff, often simply formula, is a finite sequence of symbols from a given alphabet that is part of a formal language. A formal language can be identified with the set of formulas in the language.
A formula is a syntactic object that can be given a semantic meaning by means of an interpretation. Two key uses of formulas are in propositional logic and predicate logic.
